package plus.decl;

import java.util.*;

import plus.*;

public class Template {
	public final Symbol<TypeSym> sym;
	public final List<String> formals;
	public Template(int lineNr, String name, List<String> formals) {
		this.sym = new Symbol<TypeSym>(name, lineNr, null);
		this.formals = formals;
	}
	public int arity() {
		return formals.size();
	}
	@Override public String toString() {
		return sym.name + "<" + formals.toString() + ">";
	}
}
